モジュラーテンソル圏とVerlinde公式の完全な数学的基礎

証明の鍵は、 $S$ 行列の各列が融合代数の1次元表現（指標）を与えること、すなわち $S$ 行列が融合規則を対角化することを示すことにある。

ステップ1: 中心化作用素とスカラー倍の補題

任意の対象 $Y$ に対して、自己準同型射の族を考える。単純対象 $X_m$ に対して、線形写像 $\Phi_{X_m}(Y): Y \otimes X_m \to Y \otimes X_m$ を二重のブレイディング $\Phi_{X_m}(Y) = c_{X_m, Y} \circ c_{Y, X_m}$ として定義する。

$X_m$ は単純対象であるため、Schurの補題により、自己準同型環 $\operatorname{End}(X_m)$ は基礎体と同型である。もし $Y$ も単純対象 $X_j$ であれば、写像 $\Phi_{X_m}(X_j)$ に対し、 $X_j$ の成分を評価射で部分的なトレースをとって「くぐらせる」操作を行うことで、自己準同型 $X_m \to X_m$ が得られる。それは単純対象上の射ゆえに定数倍 $\omega_j(X_m) \operatorname{id}_{X_m}$ となる。

この定数 $\omega_j(X_m)$ を求めるために両辺の完全なトレースをとると、左辺は定義より $S_{jm}$ となる。右辺は $\omega_j(X_m) \operatorname{dim}(X_m)$ となる。 $\operatorname{dim}(X_m) = S_{0m}$ であるため、スカラー $\omega_j(X_m)$ は次のように定まる。

$$ \omega_j(X_m) = \frac{S_{jm}}{S_{0m}} $$

ステップ2: 融合代数の準同型性の証明

二つの対象 $X_i, X_j$ をテンソル積した $X_i \otimes X_j$ が $X_m$ に対してどのように二重ブレイディングを行うかを考える。テンソル圏の六角形公理から、対象 $X_i \otimes X_j$ と $X_m$ の二重ブレイディングは、幾何学的には $X_i$ と $X_j$ の紐を並べたものをまとめて $X_m$ の周りを一周させる操作に等しく、代数的にはそれぞれを独立に一周させる操作の合成として表される。したがって、スカラー作用について以下の等式が成り立つ。

$$ \omega_{i \otimes j}(X_m) = \omega_i(X_m) \omega_j(X_m) $$

一方で、対象 $X_i \otimes X_j$ は単純対象の直和として分解される（ $X_i \otimes X_j \cong \bigoplus_{k \in I} N_{ij}^k X_k$ ）。この分解の両辺で $X_m$ に対する二重ブレイディングのスカラー作用を評価する。直和分解の各成分 $X_k$ はそれぞれ $\omega_k(X_m)$ というスカラー倍で作用するため、線形性から全体としての作用は次のように展開できる。

$$ \omega_i(X_m) \omega_j(X_m) = \sum_{k \in I} N_{ij}^k \omega_k(X_m) $$

ステップ3: $S$ 行列による表現への書き換え

ステップ1で求めた $\omega_j(X_m) = \frac{S_{jm}}{S_{0m}}$ を、ステップ2で得られた等式に代入する。

$$ \frac{S_{im}}{S_{0m}} \frac{S_{jm}}{S_{0m}} = \sum_{k \in I} N_{ij}^k \frac{S_{km}}{S_{0m}} $$

両辺に $S_{0m}$ を掛けることで、次の方程式を得る。

$$ \frac{S_{im} S_{jm}}{S_{0m}} = \sum_{k \in I} N_{ij}^k S_{km} $$

ステップ4: $S$ 行列の可逆性を用いた逆算

ここで、モジュラーテンソル圏の決定的な公理である「 $S$ 行列は正則である」という性質を用いる。 $S$ 行列の逆行列を $S^{-1}$ とし、その $(m, l)$ 成分を $(S^{-1})_{ml}$ と書く。

先ほど得られた等式の両辺に $(S^{-1})_{ml}$ を掛け、 $m \in I$ について総和をとる。

$$ \sum_{m \in I} \frac{S_{im} S_{jm}}{S_{0m}} (S^{-1})_{ml} = \sum_{m \in I} \sum_{k \in I} N_{ij}^k S_{km} (S^{-1})_{ml} $$

右辺の和の順序を交換すると、

$$ \text{右辺} = \sum_{k \in I} N_{ij}^k \left( \sum_{m \in I} S_{km} (S^{-1})_{ml} \right) $$

となる。行列の積の定義から $\sum_{m \in I} S_{km} (S^{-1})_{ml} = \delta_{k,l}$ （クロネッカーのデルタ）である。したがって、右辺は $k=l$ の項のみが生き残り、 $N_{ij}^l$ となる。

$$ \sum_{m \in I} \frac{S_{im} S_{jm} (S^{-1})_{ml}}{S_{0m}} = N_{ij}^l $$

インデックス $l$ を $k$ に書き直せば、目的のVerlinde公式が得られる。証明終。

1. トーラスと球面の幾何的張り合わせ:

トーラス上のコンフォーマルブロック $\chi_i(\tau)$ を、球面 $\mathbb{P}^1$ 上のコンフォーマルブロックの「張り合わせ」の極限として表現する。球面 $\mathbb{P}^1$ 上に2点 $0$ と $\infty$ を取り、そこに加群 $W_i$ と $W_i^*$ を配置して環状領域を接着パラメータ $q = e^{2\pi i \tau}$ で張り合わせる。解析的には、トーラス上のトレース $\chi_i(\tau)$ は、球面上に配置された適当な交絡作用素を挟んだ極限として一意に表される。

$$ \chi_i(\tau) = \lim_{q \to 0} \text{(張り合わせにより構成された } \mathbb{P}^1 \text{ 上の相関関数)} $$

2. モジュラー変換と解析的接続の対応関係:

トーラス $T_\tau$ において、 $\chi_i(\tau)$ のトレースを計算する時間方向の伝播（ $b$ サイクル）は、張り合わせモデルにおいては球面上の点 $0$ から $\infty$ へ向かう経路に対応する。一方、空間方向のループ（ $a$ サイクル）は、球面上における原点 $0$ の周りを回るループに対応する。

変換 $\tau \mapsto -1/\tau$ はトーラス上で $a$ サイクルと $b$ サイクルを入れ替える。これを球面の言葉に翻訳すると、「状態が $0$ から $\infty$ へ伝播する構造」と、「挿入点が別の挿入点の周りを一周する構造」を入れ替える操作となる。すなわち、関数 $F(z_1, z_2)$ における変数 $z_1$ を、 $z_2$ の周りに沿って $360$ 度（一周）解析的接続するモノドロミー操作と完全に一致する。

3. 行列成分の等価性:

圏論のブレイディングは変数を半周させるモノドロミーであった。したがって、二重ブレイディング $c_{W_j, W_i} \circ c_{W_i, W_j}$ は、変数を完全に一周させるモノドロミーに等しい。微分方程式の解空間における基底の変換を考えると、左辺のトーラスのモジュラー変換から誘導される展開係数 $S^{\mathrm{CFT}}_{ij}$ と、右辺の二重ブレイディングの作用のトレースからなる展開係数 $S^{\mathrm{cat}}_{ij}$ は、同一の特異点領域における解析的接続の係数として一意に一致する。証明終。

関手 $F$ が忠実であるとは、任意の射 $f: X \to Y$ に対して、「 $f \neq 0$ ならば $F(f) \neq 0$ 」が成り立つことである。

1. 単純対象が零対象に写されないこと:

$\mathcal{C}$ の単純対象 $S$ について考える。リボン圏において、恒等射 $\operatorname{id}_S$ のトレースは対象の次元 $\operatorname{dim}(S)$ を与える。これは評価射 $u: \mathbf{1}_\mathcal{C} \to S \otimes S^*$ と余評価射 $v: S \otimes S^* \to \mathbf{1}_\mathcal{C}$ の合成として $v \circ u = \operatorname{dim}(S) \operatorname{id}_{\mathbf{1}_\mathcal{C}}$ と表される。

モジュラーテンソル圏において $S$ 行列は正則であるため、 $S_{0, S} = \operatorname{dim}(S) \neq 0$ である。ゆえに $u' = (\operatorname{dim}(S))^{-1} u$ を定義でき、 $v \circ u' = \operatorname{id}_{\mathbf{1}_\mathcal{C}}$ を得る。

$F$ は単位対象を保つため $\operatorname{id}_{\mathbf{1}_\mathcal{D}} \neq 0$ である。もし $F(S) = 0$ と仮定すると、 $F(S \otimes S^*) \cong F(S) \otimes F(S^*) = 0$ となる。両辺に関手 $F$ を適用すると $F(v) \circ F(u') = \operatorname{id}_{\mathbf{1}_\mathcal{D}}$ となるが、左辺は零対象を経由するため $0$ となり矛盾する。ゆえに $F(S) \neq 0$ である。

2. 任意の非零対象が零対象に写されないこと:

非零対象 $X$ は半単純性より単純対象 $S$ を直和成分として含む。包含射 $i$ と射影 $p$ により $p \circ i = \operatorname{id}_S$ となる。 $F$ を適用すると $F(p) \circ F(i) = \operatorname{id}_{F(S)} \neq 0$ となるため、 $F(X) \neq 0$ である。

3. 任意の非零射における忠実性の証明:

任意の非零の射 $f: X \to Y$ は、その非零の像 $I$ への全射 $p_I: X \to I$ と単射 $i_I: I \to Y$ の合成に分解される（ $f = i_I \circ p_I$ ）。

半単純圏においてはすべての短完全列が分裂するため、全射 $p_I$ は右逆射を持ち、単射 $i_I$ は左逆射を持つ。すなわち、射 $p'_I: I \to X$ と $i'_I: Y \to I$ が存在し、 $p_I \circ p'_I = \operatorname{id}_I$ および $i'_I \circ i_I = \operatorname{id}_I$ を満たす。

合成を計算すると、

$$ i'_I \circ f \circ p'_I = i'_I \circ (i_I \circ p_I) \circ p'_I = (i'_I \circ i_I) \circ (p_I \circ p'_I) = \operatorname{id}_I \circ \operatorname{id}_I = \operatorname{id}_I $$

となる。両辺に $F$ を適用すると、 $F(i'_I) \circ F(f) \circ F(p'_I) = \operatorname{id}_{F(I)}$ を得る。 $I \neq 0$ より $F(I) \neq 0$ であり $\operatorname{id}_{F(I)} \neq 0$ なので、 $F(f) = 0$ と仮定すると矛盾する。したがって $F(f) \neq 0$ であり、忠実性が証明された。証明終。

単純対象の完全代表系を $\{X_0, \dots, X_n\}$ とし、関手 $F$ による像を $F(X_i) \cong \bigoplus_{k=0}^n M_{ik} X_k$ とする。ここで $M = (M_{ik})$ は非負整数行列である。

1. $S$ 行列の保存と行列式:

$F$ は二重ブレイディングのトレースを保つため、 $S_{ij} = \operatorname{Tr}(c_{F(X_j), F(X_i)} \circ c_{F(X_i), F(X_j)})$ となる。直和展開してトレースの双線形性を用いると、 $S_{ij} = \sum_k \sum_l M_{ik} M_{jl} S_{kl}$ 、行列表記で $S = M S M^T$ を得る。両辺の行列式をとり、 $\det S \neq 0$ で割ると $(\det M)^2 = 1$ を得て、 $\det M = \pm 1$ となる。

2. Frobenius-Perron次元の保存と固有値評価:

$F$ は対象のFrobenius-Perron次元 $d_i = \operatorname{FPdim}(X_i) > 0$ を保つため、 $d_i = \sum_{k=0}^n M_{ik} d_k$ （すなわち $M \vec{d} = \vec{d}$ ）を満たす。

任意の複素固有値 $\lambda$ と固有ベクトル $\vec{v}$ について $M \vec{v} = \lambda \vec{v}$ とする。 $|\lambda| |v_i| \le \sum_j M_{ij} |v_j|$ であり、 $|v_j| \le c d_j$ となるような最小の $c > 0$ をとると、右辺は $c \sum_j M_{ij} d_j = c d_i$ となる。ゆえに $|\lambda| |v_i| \le c d_i$ となり、最大成分で評価すれば $|\lambda| \le 1$ を得る。

3. 代数的整数論を用いた置換行列の証明:

$M$ は整数行列なので固有値は代数的整数であり、積は $\det M = \pm 1$ である。すべての固有値の絶対値が $1$ 以下であり、かつその積の絶対値が $1$ であるため、すべての絶対値は正確に $1$ である。ここで クロネッカーの定理 (Kronecker's theorem) を適用すると、 $M$ のすべての固有値は $1$ のべき根であることが確定する。

したがって、ある整数 $k \ge 1$ が存在して $M^k$ の固有値はすべて $1$ になる。 $M^k$ も非負整数行列であり、トレースは $n+1$ である。 $M^k \vec{d} = \vec{d}$ も成り立つ。

対角成分 $(M^k)_{ii}$ は非負整数である。もしある $i$ について $(M^k)_{ii} \ge 2$ であったとすると、

$$ d_i = \sum_{j=0}^n (M^k)_{ij} d_j \ge (M^k)_{ii} d_i \ge 2 d_i > d_i $$

となり矛盾が生じる。したがってすべての対角成分は $1$ である。このとき $M^k \vec{d} = \vec{d}$ の式は

$$ d_i = d_i + \sum_{j \neq i} (M^k)_{ij} d_j $$

となる。 $d_j > 0$ であるため、非対角成分はすべて $(M^k)_{ij} = 0$ でなければならない。よって $M^k = I$ である。非負整数行列で冪乗が単位行列となるため、 $M$ 自身が置換行列 (permutation matrix) である。

4. 充満忠実性の結論:

$M$ が置換行列であるため、ある置換 $\pi$ が存在し $F(X_i) \cong X_{\pi(i)}$ となる。単純対象間の射空間の次元は、

$$ \dim \operatorname{Hom}(F(X_i), F(X_j)) = \dim \operatorname{Hom}(X_{\pi(i)}, X_{\pi(j)}) = \delta_{\pi(i), \pi(j)} = \delta_{i, j} = \dim \operatorname{Hom}(X_i, X_j) $$

となる。関手は忠実であるため射の空間で単射であり、次元の一致から全単射となる。半単純性から任意の対象への射空間でも同型となるため、 $F$ は充満忠実である。証明終。